Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation

Dynamic epistemic algebra establishes Galois connections and quantales as a basis for reasoning about knowledge in multi-agent systems. To date, these algebraic-axiomatic methods have been restricted to a positive fragment of dynamic epistemic logic with communication events only. This paper proposes Boolean algebraic extensions to overcome these limitations by generalizing dynamic epistemic algebra to scenarios where events can change facts in form of post-conditions. As an application of post-conditions, we devise and solve a topological map-based robot navigation example for which current axiomatics are insufficient.